vmx: Setting of VMCS IO_BITMAP_B must take account of fact that

hvm_io_bitmap is now a long[] rather than a char[].

Bug spotted by Dexuan Cui <dexuan.cui@intel.com>

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/hvm/vmx/vmcs.c b/xen/arch/x86/hvm/vmx/vmcs.c
index ac8cda22d4b97a6310c44b9437b5401dc9303e80..bee9eb1deb60ddb6b9ec279bfb9e52127d4ffaf9 100644 (file)
--- a/xen/arch/x86/hvm/vmx/vmcs.c
+++ b/xen/arch/x86/hvm/vmx/vmcs.c
@@ -473,8 +473,8 @@ static int construct_vmcs(struct vcpu *v)
     }
 
     /* I/O access bitmap. */
-    __vmwrite(IO_BITMAP_A, virt_to_maddr(hvm_io_bitmap));
-    __vmwrite(IO_BITMAP_B, virt_to_maddr(hvm_io_bitmap + PAGE_SIZE));
+    __vmwrite(IO_BITMAP_A, virt_to_maddr((char *)hvm_io_bitmap + 0));
+    __vmwrite(IO_BITMAP_B, virt_to_maddr((char *)hvm_io_bitmap + PAGE_SIZE));
 
     /* Host GDTR base. */
     __vmwrite(HOST_GDTR_BASE, GDT_VIRT_START(v));